Merge "Increase BotPasswordSessionProvider's default priority"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 May 2016 18:15:12 +0000 (18:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 May 2016 18:15:12 +0000 (18:15 +0000)
includes/DefaultSettings.php

index 0b70d16..d6db388 100644 (file)
@@ -4844,7 +4844,7 @@ $wgSessionProviders = [
        MediaWiki\Session\BotPasswordSessionProvider::class => [
                'class' => MediaWiki\Session\BotPasswordSessionProvider::class,
                'args' => [ [
-                       'priority' => 40,
+                       'priority' => 75,
                ] ],
        ],
 ];